A UML Profile for Designing Reusable and Verifiable Software Components for On-Board Applications
نویسندگان
چکیده
Software frameworks offer sets of reusable and adaptable components embedded within an architecture optimized for a given target domain. This paper introduces an approach to the design of software frameworks for on-board applications taken in the ASSERT project. Onboard applications are characterized by functional and non-functional (timing, in particular) requirements. The proposed approach separates the treatment of these two aspects. For functional issues, it defines an extensible state machine concept to define components that encapsulate functional behaviour and offer adaptation mechanisms to extend this behaviour while warranting the preservation of the functional properties defined at the level of the framework. For timing issues, it defines software structures which are provably endowed with specific timing properties and which encapsulate functional activity in a way that enforces them. A UML2 profile is defined to formally capture both the state machine concept and the real-time structures. The profile allows the proposed approach to be enforced at design level. We are using our approach to construct a software framework for satellite on-board applications.
منابع مشابه
Using UML to Develop Verifiable Reactive Systems
Designing a correct model for distributed and reactive systems is the first goal of using Rebeca modeling language as an actor-based language supported by a formal verification tool. This paper proposes a method to perform formal verification of reactive systems at the early stages of the design cycle. We propose a UML profile for modeling systems consisting of reactive objects which are commun...
متن کاملA UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications
Software frameworks offer sets of reusable and adaptable components embedded within an architecture optimized for a given target domain. This paper introduces an approach to the design of software frameworks for real-time applications. Real-Time applications are characterized by functional and non-functional (e.g. timing) requirements. The proposed approach separates the treatment of these two ...
متن کاملInteracting Components
SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used a...
متن کاملA UML profile for model-driven design of software defined radio applications
Model-driven design (MDD) is considered a very promising approach to cope with complex software applications such as software defined radio (SDR). This paper proposes a MDD approach for SDR applications. Our approach comprises: (1) DiplodocusDF, a domain-specific modelling language for telecommunication applications, which is based on UML. (2) The mechanism to transform DiplodocusDF models into...
متن کاملSage: Generating Applications with Uml and Components
This thesis presents a prototype application generation tool, SAGE (SeaBank Application Generation Environment), that demonstrates how the Unified Modeling Language (UML) can be used as a domain specific application generation language for component or framework-based software development. The UML-based extensible CASE tool, Rational Rose, was extended to create SAGE for developing applications...
متن کامل